నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి
1
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 3.93 MB
0 / 0
english, 2010
2
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 5.00 MB
0 / 0
english, 2010
3
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

సంవత్సరం:
1992
భాష:
english
ఫైల్:
PDF, 8.62 MB
0 / 0
english, 1992
4
Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

సంవత్సరం:
2010
భాష:
english
ఫైల్:
PDF, 4.01 MB
0 / 0
english, 2010
5
Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

సంవత్సరం:
1985
భాష:
english
ఫైల్:
DJVU, 4.53 MB
0 / 0
english, 1985